Verifiering med hjälp av dator av två oberoende formler för beräkning av antalet lösningar för linjära kongruenssystem med två eller tre obekanta..

Verifiering med hjälp av dator av två oberoende formler för beräkning av antalet lösningar för linjära kongruenssystem med två eller tre obekanta..

Detta arbete handlar om beteendeinriktad biometri och artificiella neuronnät av typen feedforward och hur de tillsammans kan användas för att verifiera användare. Det har av tidigare arbete bekräftats att det är möjligt att verifiera användare, men tidigare resultat har däremot inte utfört tester med avseende på avvikelser i data (beteende) och dess inverkan på verifieringen. Det är detta som utgör det huvudsakliga målet för detta arbete, nämligen att undersöka hur avvikelser i data påverkar verifiering och utifrån det också undersöka neuronnätens noggrannhet vid verifiering..

En grafisk ritare i flygande system måste under dess utveckling verifieras för att bekräfta att den fungerar. Då bilderna som ritas inte behöver vara identiska mot referensbilder genererade av en fungerande ritare så ställer det krav på verifieringsprocessen att kunna acceptera en viss grad av "fel". Att automatisera den processen är i högsta grad intressant för att minska kostnaden. Uppsatsen presenterar en samling lösningar på delproblem som kan uppstå, däribland ett sätt att utvinna eventuell transformation mellan två bilder..

En grafisk ritare i flygande system måste under dess utveckling verifieras för att bekräfta att den fungerar. Då bilderna som ritas inte behöver vara identiska mot referensbilder genererade av en fungerande ritare så ställer det krav på verifieringsprocessen att kunna acceptera en viss grad av "fel". Att automatisera den processen är i högsta grad intressant för att minska kostnaden. Uppsatsen presenterar en samling lösningar på delproblem som kan uppstå, däribland ett sätt att utvinna eventuell transformation mellan två bilder..

I dagens samhälle krävs bra och billiga lösningar till det mesta. Detta gäller i högsta grad inom flygindustrin där komponenters tillverkningskostnad och vikt ska vara så liten som möjligt. Det går dock inte att uppfylla detta till kostnad av funktion eller tillförlitlighet. Ett sätt som ska tillgodose kriterierna är att använda svetsade delar istället för gjutgods.Detta har Volvo Aero i Trollhättan tagit fasta på och i syfte att effektivisera beräkningsgången för bland annat svetsar har avdelning 7162, Hållfasthet och Strukturdynamik, påbörjat ett projekt som ska ta fram ett underlag till detta. Bland annat har ett eget sprickpropageringsprogram för svetsar, VACWELD, skrivits och används som en del av beräkningsprocessen.På uppdrag av Volvo Aero i Trollhättan har examensarbete med syfte att verifiera VACWELD genomförts.

The aim of this thesis is benchmarking of the program, based on dynamic programming, that earlier was written to imitate the production planning at TSS.This thesis starts with a chapter about the construction of the DP-program, a shorter description of one and each of the program parts and also a list over the in- and output data in each program part. The DP-program consists of six linked MATLAB-files that together produce an optimized production plan for the different planning groups at TSS. The program reads in and reformat the given data and optimize the production of the articles in one group. Finally it compounds all article production plans and give us a production alternative.After running the program with new data the result shows, resembling with previous results, that TSS could be able to make some distinct cost-savings. According to the program, a 50 % decrease of TSS production costs is possible. .

IEC 61508, ISO 26262, DO-254 och CENELEC EN 5012x är alla standarder för utveckling av säkerhetskritiska system. Dessa fyra är applicerbara på bilar upp till 3.5 ton (ISO 26262), flyg (DO-254), tåg (Cenelec EN 5012x) samt IEC 61508 vilket är en standard för flertalet industrigrenar.När ett säkerhetskritiskt system skall implementeras i en FPGA så kan problem uppstå. Detta för att en FPGA ibland räknas till hårdvara men utvecklingen följer samma mönster som mjukvaruutveckling. Detta examensarbetes huvuduppgift är att klargöra hur de olika standarderna ser på FPGA utveckling samt verifiering med hjälp av utökad funktionell verifiering.Uppsatsen är uppdelad i två delar. Den första delen behandlar de säkerhetskritiska standarderna.

Metso Paper i Sundsvall AB utvecklar och tillverkar utrustning för pappersindustrin. En av huvudprodukterna är TwinRoll pressar. TwinRoll pressarna är konstruerade mot kundorder och enstyckstillverkade. Innan de levereras till kund ska de verifieras genom en slutkontroll. Idag utförs denna verifiering med hjälp av komplett montering.

The Kedertruss is the loadbearing part in the Keder weatherprotectionsystem and it has been analyzed concerning its loadbearing capacity. The Kedertruss is produced and manufactured by Wilhelm Layher GmbH & Co. KG and this report has been made for their Swedish division Layher AB.  The Kedertruss, designed in Germany according to German designcode, has been recalculated concerning Swedish conditions according to Eurocodes and a ongoing European standardization project. The two-dimensional program Winstatik Frame Analysis has been used for evaluation of load effects. Capacity has been calculated by hand-calculations and it has been verified that the Kedertruss in its larger spans isn?t able to withstand the loads.

The Kedertruss is the loadbearing part in the Keder weatherprotectionsystem and it has been analyzed concerning its loadbearing capacity. The Kedertruss is produced and manufactured by Wilhelm Layher GmbH & Co. KG and this report has been made for their Swedish division Layher AB.  The Kedertruss, designed in Germany according to German designcode, has been recalculated concerning Swedish conditions according to Eurocodes and a ongoing European standardization project. The two-dimensional program Winstatik Frame Analysis has been used for evaluation of load effects. Capacity has been calculated by hand-calculations and it has been verified that the Kedertruss in its larger spans isn?t able to withstand the loads.

Sekretessbelagd.

Energianvändningen har i Sverige under lång tid varit väldigt hög. Den höga användningen leder till stor miljöpåverkan i form av utsläpp av växthusgaser. Sett bara till elanvändningen är bostadssektorn det område som dominerar. För att på ett enkelt och tillförlitligt sätt kunna beräkna energianvändningen i byggnader används ofta olika sorters energiberäkningsprogram. Detta examensarbete har kretsat kring en egenutvecklad energiberäkningsmodell, kallad Excel-modellen, utvecklad på VVS avdelningen på ÅF i Norrköping.

The purpose of this thesis was to create a saw pattern program for the sawmill industry. I have chosen to focus on the module that describes the shrinking on the wood. There are several theories about how the wood deforms by shrinking. Several hypotheses were simulated in the program and after testing them I decided to use only one of them (hypothesis C). The program is written in Visual Basic .NET and I choused that program language because it is easy to do changes in the layout. Another great advantage in Visual .Net is that you can mix different languages in the same program.

The purpose with this work that is the basis for this thesis was to help Nattavaara Economical association to develop a program for handling invoices, customer information, and storage. The program and this thesis have been done in cooperation with the economical association in Nattavaara. Some of the demands on the program are that it shall handle customer information, storage status, invoices and diesel consumption. The program must be able to printout invoices, reminders, delivery notes, a customer list and a storage list. All information will be stored in a database.